161. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
162. Algebraic informatics :
پدیدآورنده: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
163. Algebraic informatics :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Semantics ; Congresses. ;
164. Algol
پدیدآورنده: Algol
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A24
I57
165. Algol in brief:a short,practical guide to computer programming in
پدیدآورنده: RACTLIFFE,J F
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ALGOL )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
R278
166. Algorithmic language and program development
پدیدآورنده: Bauer, Friedrich Ludwig, 4291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982
167. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
168. Algorithmic mehtods for artificial intelligence
پدیدآورنده: Michael Griffiths and Carol Palissier
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Artificial intelligence - Data processing,Programming (Electronic computers)
رده :
Q
,
336
,.
G7A4
,
1987
169. Algorithms Unplugge
پدیدآورنده: V?cking, BertholdEditor 4edt., ]electronic resource
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Electronic books,، Computer Algorithms,، Computers, Programming, Algorithms
170. Algorithms and complexity ; new directions and recet results
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
171. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده: edited by J. F. Traub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
172. Algorithms and programming : problems and solutions
پدیدآورنده: Shen, Alexander
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer algorithms , Electronic digital computers - Programming
رده :
QA
76
.
9
.
A43
S47
1997
173. Algorithms and their computer solutions
پدیدآورنده: Artiaga, Lucio.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Electronic data processing,، Algorithms
رده :
QA
76
.
6
.
A77
174. Algorithms and their computer solutions
پدیدآورنده: / Lucio Artiagga, Lioyd D. Davis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Electronic data processing,Algorithms
رده :
001
.
6424
Ar-A
175. Algorithms + data structures
پدیدآورنده: / Niklaus Wirth
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming,Data structures (Computer science),Computer algorithms
رده :
QA
76
.
6
.
W56
176. Algorithms + data structures= programs
پدیدآورنده: Wirth, Niklaus
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Data structures )Computer science(,، Algorithms
رده :
QA
76
.
6
.
W56
177. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده: edited by A.P. Ershov and D.E. Knuth
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
122
178. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
9
.
58
.
A43
1981
179. Algorithms : the construction, proof, and analysis of programs
پدیدآورنده: Berlioux, Pierre.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Computer algorithms
رده :
QA
76
.
6
.
B471813
1986
180. Algorithms : their complexity and efficiency
پدیدآورنده: Kronsjo, Lydia I.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Computer algorithms,، Numerical analysis-- Data processing,، Computational complexity
رده :
QA
76
.
6
.
K76
1987
